Knowing One’s Limits Logical Analysis of Inductive Inference

Ultimate Intelligence Part II: Physical Measure and Complexity of Intelligence

We investigate physical measures and limits of intelligence that are objective and useful. We propose a universal measure of operator induction fitness, and show how it can be used in a reinforcement learning model, and a self-preserving agent model based on the free energy principle. We extend logical depth and conceptual jump size measures to stochastic domains, and elucidate their relations....

Inductive Inference of Logical DES Controllers using the L* Algorithm - American Control Conference, Proceedings of the 1995

I t is well known that learning procedures such as the L* algorithm will infer minimal deterministic finite automatons (DFA) in polynomial time through the use of membership and equivalence queries. This paper introduces a modification of the L*-algorithm that can be used for the inductively inferring optimal logical DES controllers in which prior knowledge of the plant is confined to a finite ...

A Logical Framework for Inductive Inference and Its Rationality

I Frequentist Statistics as a Theory of Inductive Inference 1

The philosophical foundations of statistics may be regarded as the study of the epistemological, conceptual, and logical problems revolving around the use and interpretation of statistical methods, broadly conceived. As with other domains of philosophy of science, work in statistical science progresses largely without worrying about “philosophical foundations.” Nevertheless, even in statistical...

On Ordinal VC-Dimension and Some Notions of Complexity

We generalize the classical notion of VC-dimension to ordinal VC-dimension, in the context of logical learning paradigms. Logical learning paradigms encompass the numerical learning paradigms commonly studied in Inductive inference. A logical learning paradigm is defined as a set W of structures over some vocabulary, and a set D of first-order formulas that represent data. The sets of models of...